Teaching Artificial Intelligence and Logic Programming in a Competitive Environment

Teaching Artificial Intelligence and Logic Programming in a Competitive Environment

Motivation plays a key role in the learning process. This paper describes an experience in the context of undergraduate teaching of Artificial Intelligence at the Computer Science Department of the Faculty of Sciences in the University of Porto. A sophisticated competition framework, which involved Prolog programmed contenders and game servers, including an appealing GUI, was developed to motiv...

Artificial Intelligence and Intelligent Systems: Logic programming as a framework for Knowledge Representation and Artificial Intelligence

2 Prolog as a simple database engine 4 2.1 The subset of Prolog called Datalog . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Example: Logical circuits in Prolog . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3 How Prolog answers queries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.4 A logical semantics for Prolog . . . . . . . . . . . . . . . ....

A Programming Environment for Distributed Applications Design in Artificial Intelligence

Complex applications in Artificial Intelligence need a multiple representation of knowledge and tasks, in term of abstraction levels and points of view. The integration of numerous resources (knowledge-based systems, real-time systems, data bases ...), often geographically distributed on different machines connected into a network, is moreover a necessity to develop real scale systems. Distribu...

Logic and Artificial Intelligence

Nilsson, N.J., Logic and artificial intelligence, Artificial Intelligence 47 (1990) 31-56. The theoretical foundations of the logical approach to artificial intelligence are presented. Logical languages are widely used for expressing the declarative knowledge needed in artificial intelligence systems. Symbolic logic also provides a clear semantics for knowledge representation languages and a me...

Logic and Artificial Intelligence